1. Integrated Formal Methods
پدیدآورنده : / Einar Broch Johnsen, Luigia Petre
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings
پدیدآورنده : Michael Butler, Luigia Petre, Kaisa Sere, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2335
3. Intensive Systems-Dependability and Computer Engineering : Concepts for Software
پدیدآورنده : / Petre, Luigia
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
رده :
E-BOOK